Réseaux de Kahn à rafales et horloges entières

Résumé Les langages flot de données synchrones à la Lustre proposent un formalisme équationnel de haut niveau dédié à la conception et l’implantation de systèmes temps réel. Ils sont traditionnellement restreints aux systèmes critiques ne nécessitant pas de calcul intensif ; en particulier, le code impératif généré ne contient pas naturellement de boucles. Lucy-n est une variante récente de Lustre plus adaptée aux traitements multimédias. Dans cet article, nous proposons une extension de la sémantique de Lucy-n où les flots transportent des rafales de valeurs plutôt que de simples scalaires, ainsi qu’un système de types qui caractérise la taille de ces rafales. L’ambition est d’adapter les techniques de génération de code usuelles pour produire des boucles imbriquées.